De Bruijn - PDFSEARCH.IO - Document Search Engine

De Bruijn
Results: 153

#	Item
71	Organigram maart 2015 Afrika en Midden-Oosten ir. F. de Bruijn Add to Reading List Source URL: www.witteveenbos.nl Language: Dutch - Date: 2015-03-02 09:54:45
72	Vergadering Wmo-Raad op 26 november 2013 Ontmoetingskerk Geleen 10:00 uuruur Verslag Aanwezigen: Namens de gemeente: de heer J. Roes, de heer J. Roemen Namens de Wmo Raad: De dames: T. de Bruijn-Diris, M. Kaak-Pel Add to Reading List Source URL: www.wmoraad-sittardgeleen.nl Language: Dutch - Date: 2014-11-26 05:30:37
73	De rol van virussen bij verteringsstoornissen bij varkens en pluimvee Naomi de Bruijn Virale darminfecties: Algemeen Add to Reading List Source URL: www.pdv.nl Language: Dutch - Date: 2014-12-05 03:51:50
74	Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2007-12-01 03:56:46 Mathematics Ordinary differential equations Spectral theory Mathematical analysis Spectral theory of ordinary differential equations Curry–Howard correspondence Symbol De Bruijn index Valuation
75	D2B: a de Bruijn Based Content-Addressable Network ⋆ Pierre Fraigniaud ∗,1 CNRS Laboratoire de Recherche en Informatique (LRI) Universit´e Paris-Sud, 91405 Orsay, France. Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2007-01-17 10:04:32 Distributed hash table Chord Kademlia Tapestry Pastry Connectivity Peer-to-peer Distributed data storage Computing Koorde
76	ENJOYING NEW WAYS TO WORK: AN HRM-PROCESS APPROACH TO STUDY FLOW PA S C A L E P E T E R S , E R I K P O U T S M A , B E AT R I C E I . J . M . VA N D E R H E I J D E N , A R N O L D B . B A K K E R , AND THOMAS DE BRUIJN Add to Reading List Source URL: www.beanmanaged.com Language: English - Date: 2014-04-14 04:12:47 Behavioural sciences Working time Positive psychology Telecommuting Empowerment Employment Job satisfaction Job Demands-Resources model Leadership Management Organizational behavior Sociology
77	The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Mathematics Automata theory De Bruijn graph Applied mathematics
78	On the size of the Euclidean sphere of in uence graph Michael A. Soss School of Computer Science McGill University Montreal, Canada May 14, 1999 Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:00:28 Planar graphs Geometric graph theory Differential topology Elementary geometry Sphere Topology De Bruijn–Erdős theorem Circle packing theorem Geometry Mathematics Graph theory
79	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
80	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic